| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 421971 | ||
| Vorlesung | 424976 | Mo 10:30-12:00 Online-Veranstaltung (×1) Mo 16:30-18:00 Online-Veranstaltung (×13) Di 10:30-12:00 Online-Veranstaltung (×13) | |||
| Übung | 424975 | Mo 10:30-12:00 Online-Veranstaltung (×12) | |||
| Mathematische Logik I | Vorlesung | 419760 | Mo 08:30-10:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×12) | ||
| Fach-/Modulprüfung | 6 | 422873 | |||
| Tutorium | 418833 | Mo 16:30-18:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) Di 14:30-16:00 Online-Veranstaltung (×14) Di 18:30-20:00 Online-Veranstaltung (×14) Mi 12:30-14:00 Online-Veranstaltung (×14) Mi 16:30-18:00 Online-Veranstaltung (×14) Do 08:30-10:00 Online-Veranstaltung (×12) Do 10:30-12:00 Online-Veranstaltung (×12) Do 16:30-18:00 Online-Veranstaltung (×12) Do 18:30-20:00 Online-Veranstaltung (×12) Fr 08:00-12:30 Großer Hörsaal AM (1420|210) (×1) Fr 08:30-10:00 Online-Veranstaltung (×14) Fr 10:30-12:00 Online-Veranstaltung (×14) Fr 12:45-17:00 PPS H1 (2315|101) (×1) Fr 13:30-15:00 Online-Veranstaltung (×14) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 422632 | ||
| Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) |